141. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
142. Certification and security in inter-organizational E-services :
پدیدآورنده : edited by Enrico Nardelli, Maurizio Talamo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.
رده :
QA76
.
9
.
A25
I462
2005
143. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
144. Chinese lexical semantics :
پدیدآورنده : Jia-Fei Hong, Qi Su, Jiun-Shiung Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chinese language-- Semantics, Congresses.,Computational linguistics, Congresses.,Artificial intelligence.,Chinese language-- Semantics.,Computational linguistics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Foreign Language Study-- Chinese.,Information retrieval.,Software Engineering.
رده :
PL1291
.
C45
2018eb
145. Cloud computing -- CLOUD 2019 :
پدیدآورنده : Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing, Congresses.,Data protection, Congresses.,Software engineering, Congresses.,Cloud computing.,Data protection.,Software engineering.
رده :
QA76
.
585
146. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
147. Collaboration and technology :
پدیدآورنده : Adriana S. Vivacqua, Carl Gutwin, Marcos R.S. Borges (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Groupware (Computer software), Congresses,Microcomputer workstations-- Congresses,Teams in the workplace-- Data processing, Congresses
رده :
HD66
.
2
.
I58
2011
148. Collaborative computing :
پدیدآورنده : Imed Romdhani, Lei Shu, Hara Takahiro, Zhangbing Zhou, Timothy Gordon, Deze Zeng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Information Storage and Retrieval.,Information Systems and Communication Service.,Computer networking & communications.,Computer networks.,Computers-- Computer Science.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- System Administration-- Storage & Retrieval.,Electronic data processing-- Distributed processing.,Information retrieval.,Multimedia systems.,Online social networks.,Program concepts-- learning to program.
رده :
TK5105
.
5
149. Combinatorial image analysis :
پدیدآورنده : Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Image analysis, Congresses.,Image processing-- Digital techniques, Congresses.,Business & Economics-- Information Management.,Combinatorial analysis.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Graphics programming.,Health & safety aspects of IT.,Image analysis.,Image processing-- Digital techniques.,Image processing.,Information architecture.,Medical-- General.,Software Engineering.
رده :
TA1637
.
I58
2018eb
150. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
151. Compiler compilers and high speed compilation :
پدیدآورنده : D. Hammer, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compiling (Electronic computers)-- Congresses.
رده :
QA76
.
76
.
C65
C33
1988
152. Complex networks :
پدیدآورنده : Luciano F. Costa [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses
رده :
TK5105
.
5
.
C66
2011
153. Component-Based Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
154. Component-based software engineerin
پدیدآورنده : / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses
رده :
QA
,
76
.
758
,.
C39
,
2008
155. Component-based software engineering
پدیدآورنده : / George T. Heineman ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
رده :
QA
,
76
.
758
,.
C39
,
2005
156. Component-based software engineering
پدیدآورنده : / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
C66
2010
157. Component-based software engineering :
پدیدآورنده : Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
C365
2010
158. Component-based software engineering :
پدیدآورنده : Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
C365
2010
159. Component-based software engineering
پدیدآورنده : Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
C39
2009
160. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
